A countable basis for $\Sigma \sp{1}\sb{2}$ sets and recursion theory on $\aleph \sb{1}$
نویسندگان
چکیده
منابع مشابه
Recursion Theory and Countable Borel Equivalence Relations
Recursion theory and countable Borel equivalence relations
متن کاملThe Theory of Countable Analytical Sets
The purpose of this paper is the study of the structure of countable sets in the various levels of the analytical hierarchy of sets of reals. It is first shown that, assuming projective determinacy, there is for each odd n a largest countable n set of reals, en (this is also true for n even, replacing 1n by En and has been established earlier by Solovay for n = 2 and by Moschovakis and the auth...
متن کاملHyperarithmetical Index Sets in Recursion Theory
We define a family of properties on hyperhypersimple sets and show that they yield index sets at each level of the hyperarithmetical hierarchy. An extension yields a nj-complete index set. We also classify the index set of quasimaximal sets, of coinfinite r.e. sets not having an atomless superset, and of r.e. sets major in a fixed nonrecursive r.e. set. 0. Introduction. The present paper deals ...
متن کاملCohesive Sets: Countable and Uncountable
We show that many uncountable admissible ordinals (including some cardinals) as well as all countable admissible ordinals have cohesive subsets. Exactly which cardinals have cohesive subsets, however, is shown to depend on set-theoretic assumptions such as V=L or a large cardinal axiom. The study of recursion theory on the ordinals was initiated by Takeuti and then generalized by several others...
متن کاملCountable Sets and Hessenberg’s Theorem
The papers [20], [16], [3], [11], [9], [15], [5], [8], [7], [21], [19], [2], [1], [10], [22], [12], [13], [18], [14], [17], [4], and [6] provide the terminology and notation for this paper. For simplicity we follow the rules: X, Y are sets, D is a non-empty set, m, n, n1, n2, n3, m2, m1 are natural numbers, A, B are ordinal numbers, L, K, M , N are cardinal numbers, x is arbitrary, and f is a f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1981
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1981-0609664-9